Typově bezpečné směrování: Extrakce typů parametrů URL pro robustní aplikace | MLOG | MLOG